Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
21	Using the OSGi Application Model on Mobile Devices with CLDC JVM Dimitar Valtchev, CTO, ProSyst Add to Reading List Source URL: www.osgi.org Language: English - Date: 2013-02-05 20:22:16 OSGi MIDlet Java programming language Connected Limited Device Configuration ProSyst Mobile Information Device Profile Java Classloader OSGi-Tooling JAD Computing Standards organizations Java specification requests
22	LangSec: Recognition, Validation, and Compositional Correctness for Real World Security Mission Statement. Language-theoretic security (LangSec) is a design and programming philosophy that focuses on formally correct and Add to Reading List Source URL: langsec.org Language: English - Date: 2014-12-19 03:59:22 Applied mathematics Formal verification Specification Theoretical computer science Evaluation Formal methods Software bug Parsing
23	Chapel Language SpecificationCray Inc 901 Fifth Avenue, Suite 1000 Seattle, WA 98164 Chapel Language Specification Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2014-09-18 19:18:48 Procedural programming languages C++ Cross-platform software Object-oriented programming Data types C Iterator Generic programming Array data type Computing Software engineering Computer programming
24	Chapel Language SpecificationCray Inc 411 First Ave S, Suite 600 Seattle, WA 98104 Chapel Language Specification Add to Reading List Source URL: chapel.cray.com Language: English - Date: 2014-09-18 19:18:46 C++ Data types Cross-platform software Procedural programming languages C programming language C Iterator Array data type Array data structure Computing Computer programming Software engineering
25	2002 Paper 4 Question 2 Compiler Construction The specification for a pocket-calculator-style programming language is as follows: • Valid inputs consist either of an Expression followed by the enter button or of an Ex Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:17:47 Compiler construction Formal languages Source code Lexical analysis Parsing Programming language implementation Programming language Syntax C++ classes Software engineering Computer programming Computing
26	STANDARD QUOTATION & SPECIFICATION FORM VENDOR OF RECORD: 1. STATE: 3. BRAND NAME: 5. STATE STOCK: 8. TYPE: Add to Reading List Source URL: www.liquor.idaho.gov Language: English - Date: 2015-02-24 11:19:40 Writing Programming language theory Computing Supply chain management Universal Product Code International Article Number ML FOB Identifiers Universal identifiers Barcodes
27	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.3, July 11, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Procedural programming languages Frama-C Java Modeling Language KeY SQL Programming language C Computing Software engineering Computer programming
28	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
29	Microsoft Word - AbstractionSoSyM1072.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:47:55 Abstraction Philosophy of mind Data management Programming language Abstract art Concept Formal specification Logic simulation Abstraction principle Thought Mind Cognition
30	DRA FRONT END FILTER PROJECT Specification of SSQL Semantics I Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:38:05 Computing ALGOL 68 HOL Programming language theory Procedural programming languages Software engineering